perm filename POOLTY.CH[TEX,DEK] blob
sn#720029 filedate 1983-07-27 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00005 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 @x Tell WEAVE to print only the changes:
C00003 00003 @x Specify compiler directives:
C00005 00004 @x System-dependent character set changes:
C00007 00005 @x Making special characters printable:
C00008 ENDMK
C⊗;
@x Tell WEAVE to print only the changes:
\centerline{\hsize 5in\baselineskip9pt
\vbox{\ninerm\noindent
The preparation of this report
was supported in part by the National Science
Foundation under grants IST-8201926 and MCS-8300984,
and by the System Development Foundation. `\TeX' is a
trademark of the American Mathematical Society.}}}
@y
\centerline{(This listing shows the changes for {\sc WAITS} only)}}
\let\maybe=\iffalse
@z
@x Specify compiler directives:
@p program POOLtype(@!pool_file,@!output);
@y
@p @t\4@>@{$D-,W+@} {no debugging overhead}
program POOLtype(@!pool_file,@!output);
@z
@x System-dependent character set changes:
@↑character set dependencies@>
@↑system dependencies@>
@<Set init...@>=
for i←1 to @'37 do xchr[i]←' ';
@y
@↑character set dependencies@>
@↑system dependencies@>
The code shown here is intended to be used on the Stanford {\sc SAIL} system,
and at other installations like CMU and ISI where essentially the same
extended character set is used. The fact that {\sc SAIL} has |'}'| in the
wrong place turns out to cause no difficulty in this case.
@<Set init...@>=
for i←1 to @'37 do xchr[i]←chr(i);
xchr[@'30]←chr(@'137);
xchr[@'32]←chr(@'33); {|not_equal| sign}
xchr[@'33]←chr(@'176);
@z
@x Making special characters printable:
@<Character |k| cannot be printed@>=
(k<" ")∨(k>"~")
@y
@<Character |k| cannot be printed@>=
(k=@'177)∨(k in [0,@'11..@'15,@'33])
@z